p{-}outcome($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$int\_seg(0; $\parallel$$p$$\parallel$)